\bigvee_{#insertion#}^{#insertion#}#select#
